\begin{tabbing}
$\forall$\=${\it es}$:ES, $C$, $V$:Type, ${\it ASM}$:(($C$ List)$\rightarrow$$V$), $I$:(E$\rightarrow$(?$C$)), $O$:(E$\rightarrow$(?$V$)),\+
\\[0ex]$R$:(\{$e$:E$\mid$ $\uparrow$isl($O$($e$))\} $\rightarrow$\{$e$:E$\mid$ $\uparrow$isl($I$($e$))\} ),
\\[0ex]$H$:(\{$e$:E$\mid$ $\uparrow$isl($I$($e$))\} $\rightarrow$(\{$e$:E$\mid$ $\uparrow$isl($I$($e$))\}  List)).
\-\\[0ex]dsm(${\it es}$;${\it ASM}$;$I$;$O$;$R$;$V$;$H$) $\in$ $\mathbb{P}$
\end{tabbing}